/*
 * DollarTimeDescription.java
 * 
 * last update: 16.01.2010 by Stefan Saru
 * 
 * author:	Alec(panovici@elcom.pub.ro)
 * 
 * Obs:
 */



package engine;

import middle.*;
import java.util.*;

/**
 * The description of a $time function call
 */
class DollarTimeDescription implements ExpressionDescription{

	static final DollarTimeDescription theDollarTimeDescription = new DollarTimeDescription();

	static DollarTimeExpression theDollarTimeExpression;

	public Expression instantiate(NameSpace ns)throws ParseException{
		if (theDollarTimeExpression != null)
			return theDollarTimeExpression;
		return theDollarTimeExpression = new DollarTimeExpression();
	}

	public String toString(){
		return "$time";
	}
}




